Automated Generation of Geometry Questions for High School Mathematics
نویسندگان
چکیده
We describe a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. Such a system would help teachers to quickly generate large numbers of questions on a geometry topic. Students can explore and revise specific topics covered in classes and textbooks based on generated questions. The system can act as a personalized instructor it can generate problems that meet users specific weaknesses. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures (ii) a pattern matching approach for generating questions and (iii) automated deduction to generate new questions and solutions. By combining these methods, we are able to generate questions involving finding or proving relationships between geometric objects based on a specification of the geometry objects, concepts and theorems to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time. We have tested our generated questions on an existing geometry question solving software JGEX, verifying the validity of the generated questions.
منابع مشابه
Geometry Question Generator: Question and Solution Generation, Validation and User Evaluation
Current massively open online courses (MOOCs) are providing several technical challenges for educators. One of these challenges is automated generation of questions, along with the solutions, in order to deal with a large number of students. Geometry is an important part of the high school curriculum. Hence, in this paper, we have focused on the high school geometry domain. We have proposed a f...
متن کاملBuilding Dynamic Visual and Logic Models with Geometry Expert
In this paper, we introduce a software, Geometry Expert, developed by us for automated geometry reasoning and dynamic geometry drawing. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts in an intuitive way. As an automated reasoning software, we can build dynamic logic models which can do reasoning the...
متن کاملA Framework for Automated Generation of Questions Based on First-Order Logic
In this work, questions are tasks posed to students to help them understand a subject, or to help educators assess their level of competency in it. Automated question generation is important today as content providers in education try to scale their efforts. In particular, MOOCs need a continuous supply of new questions in order to offer educational content to thousands of students, and to prov...
متن کاملMathematical Knowledge for Teaching High School Geometry
This paper documents efforts to develop an instrument to measure mathematical knowledge for teaching high school geometry (MKT-G). We report on the process of developing and piloting questions that purported to measure various domains of MKT-G. Scores on the final set of items had no statistical relationship with total years of experience teaching, but all domain scores were found to have stati...
متن کاملThe SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes
Geometry is not only a part of mathematics with ancient roots but also a vivid area of modern research. Especially the field of geometry called by some negligence “elementary” continues to attract the attention also of the great community of leisure mathematicians. This is probably due to the small set of prerequisites necessary to formulate the problems posed in this area and the erudition and...
متن کامل